Arnon Avron: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

What is relevance logic?

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 388 KB

english, 2014

2

Relevance and paraconsistency—a new approach

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 1.39 MB

english, 1990

3

Cayley′s Formula: A Page From The Book

Arnon Avron,, Nachum Dershowitz,

Journal:

American Mathematical Monthly

Year:

2016

Language:

english

File:

PDF, 499 KB

english, 2016

4

The value of the four values

Ofer Arieli, Arnon Avron

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 3.11 MB

english, 1998

5

Natural 3-Valued Logics--Characterization and Proof Theory

Journal:

Journal of Symbolic Logic

Year:

1991

Language:

english

File:

PDF, 414 KB

english, 1991

6

Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics

Journal:

Journal of Applied Non-Classical Logics

Year:

2014

Language:

english

File:

PDF, 278 KB

english, 2014

7

Combining classical logic, paraconsistency and relevance

Journal:

Journal of Applied Logic

Year:

2005

Language:

english

File:

PDF, 289 KB

english, 2005

8

Theorems on strong constructibility with a compass alone

Journal:

Journal of Geometry

Year:

1987

Language:

english

File:

PDF, 260 KB

english, 1987

9

WEYL REEXAMINED: âDAS KONTINUUMâ 100 YEARS LATER

Journal:

Bulletin of Symbolic Logic

Year:

2020

File:

PDF, 749 KB

2020

10

On strict strong constructibility with a compass alone

Journal:

Journal of Geometry

Year:

1990

Language:

english

File:

PDF, 165 KB

english, 1990

11

The Classical Constraint on Relevance

Journal:

Logica Universalis

Year:

2014

Language:

english

File:

PDF, 266 KB

english, 2014

12

Construction problems—why and how?

Journal:

International Journal of Mathematical Education

Year:

1989

Language:

english

File:

PDF, 1.03 MB

english, 1989

13

On Modal Systems Having Arithmetical Interpretations

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 216 KB

english, 1984

14

A unified semantic framework for fully structural propositional sequent systems

Lahav, Ori, Avron, Arnon

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 325 KB

english, 2013

15

Non-deterministic semantics for logics with a consistency operator

Journal:

International Journal of Approximate Reasoning

Year:

2007

Language:

english

File:

PDF, 263 KB

english, 2007

16

Constructibility and decidability versus domain independence and absoluteness

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 385 KB

english, 2008

17

Reasoning with logical bilattices

Ofer Arieli, Arnon Avron

Journal:

Journal of Logic, Language and Information

Year:

1996

Language:

english

File:

PDF, 2.27 MB

english, 1996

18

Using typed lambda calculus to implement formal systems on a machine

Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 1.91 MB

english, 1992

19

A note of provability, truth and existence

Journal:

Journal of Philosophical Logic

Year:

1991

Language:

english

File:

PDF, 294 KB

english, 1991

20

Whither relevance logic?

Journal:

Journal of Philosophical Logic

Year:

1992

Language:

english

File:

PDF, 2.04 MB

english, 1992

21

Gentzen-type systems, resolution and tableaux

Journal:

Journal of Automated Reasoning

Year:

1993

Language:

english

File:

PDF, 1.10 MB

english, 1993

22

An exercise in an interactive geometrical research

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 1.14 MB

english, 1993

23

Hypersequents, logical consequence and intermediate logics for concurrency

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1991

Language:

english

File:

PDF, 1.18 MB

english, 1991

24

A Non-deterministic View on Non-classical Negations

Journal:

Year:

2005

Language:

english

File:

PDF, 282 KB

english, 2005

25

Cut-Elimination and Quantification in Canonical Systems

Anna Zamansky, Arnon Avron

Journal:

Year:

2006

Language:

english

File:

PDF, 310 KB

english, 2006

26

Proof Systems for Reasoning about Computation Errors

Arnon Avron, Beata Konikowska

Journal:

Year:

2009

Language:

english

File:

PDF, 282 KB

english, 2009

27

Multi-valued Semantics: Why and How

Journal:

Year:

2009

Language:

english

File:

PDF, 270 KB

english, 2009

28

Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics

Ofer Arieli, Arnon Avron, Anna Zamansky

Journal:

Year:

2011

Language:

english

File:

PDF, 380 KB

english, 2011

29

Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics

Arnon Avron, Jonathan Ben-Naim, Beata Konikowska

Journal:

Logica Universalis

Year:

2007

Language:

english

File:

PDF, 582 KB

english, 2007

30

The semantics and proof theory of linear logic

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 2.40 MB

english, 1988

31

Encoding Modal Logics in Logical Frameworks

Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano

Journal:

Year:

1998

File:

PDF, 2.44 MB

1998

32

A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases

Ofer Arieli, Arnon Avron

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 310 KB

english, 1999

33

Decomposition Proof Systems for Gödel-Dummett Logics

Arnon Avron, Beata Konikowska

Journal:

Year:

2001

Language:

english

File:

PDF, 265 KB

english, 2001

34

Simple consequence relations

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.97 MB

english, 1991

35

Canonical signed calculi with multi-ary quantifiers

Anna Zamansky, Arnon Avron

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 270 KB

english, 2012

36

Stability, Sequentiality and Demand Driven Evaluation in Dataflow

Avron, Arnon, Sasson, Nada

Journal:

Formal Aspects of Computing

Year:

1994

Language:

english

File:

PDF, 1.40 MB

english, 1994

37

[Lecture Notes in Computer Science] Pillars of Computer Science Volume 4800 || Why Sets?

Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander

Year:

2008

Language:

english

File:

PDF, 429 KB

english, 2008

38

Contraception and mechanisms of endometrical bleeding

Journal:

Comparative Biochemistry and Physiology Part A: Physiology

Year:

1991

Language:

english

File:

PDF, 151 KB

english, 1991

39

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics

Avron, Arnon, Konikowska, Beata, Zamansky, Anna

Year:

2012

Language:

english

File:

PDF, 273 KB

english, 2012

40

[IEEE 2010 40th IEEE International Symposium on Multiple-Valued Logic - Barcelona, Spain (2010.05.26-2010.05.28)] 2010 40th IEEE International Symposium on Multiple-Valued Logic - Logics of Reasonable Information Sources

Avron, Arnon, Ben-Naim, Jonathan, Konikowska, Beata

Year:

2010

Language:

english

File:

PDF, 334 KB

english, 2010

41

Paraconsistent fuzzy logic preserving non-falsity

Journal:

Fuzzy Sets and Systems

Year:

2014

Language:

english

File:

PDF, 502 KB

english, 2014

42

[IEEE 2010 40th IEEE International Symposium on Multiple-Valued Logic - Barcelona, Spain (2010.05.26-2010.05.28)] 2010 40th IEEE International Symposium on Multiple-Valued Logic - Non-deterministic Multi-valued Logics--A Tutorial

Avron, Arnon, Zamansky, Anna

Year:

2010

Language:

english

File:

PDF, 358 KB

english, 2010

43

[IEEE 37th International Symposium on Multiple-Valued Logic - Oslo, Norway (2007.05.13-2007.05.16)] 37th International Symposium on Multiple-Valued Logic (ISMVL'07) - Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency

Avron, Arnon, Zamansky, Anna

Year:

2007

Language:

english

File:

PDF, 183 KB

english, 2007

44

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - On Strong Maximality of Paraconsistent Finite-Valued Logics

Avron, Arnon, Arieli, Ofer, Zamansky, Anna

Year:

2010

Language:

english

File:

PDF, 361 KB

english, 2010

45

Efficient reasoning with inconsistent information using C-systems

Avron, Arnon, Konikowska, Beata, Zamansky, Anna

Journal:

Information Sciences

Year:

2015

Language:

english

File:

PDF, 507 KB

english, 2015

46

A cut-free calculus for second-order Gödel logic

Lahav, Ori, Avron, Arnon

Journal:

Fuzzy Sets and Systems

Year:

2015

Language:

english

File:

PDF, 632 KB

english, 2015

47

A constructive analysis of RM

Journal:

Journal of Symbolic Logic

Year:

1987

Language:

english

File:

PDF, 774 KB

english, 1987

48

Relevant entailment—semantics and formal systems

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 611 KB

english, 1984

49

[Lecture Notes in Computer Science] Pillars of Computer Science Volume 4800 || Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge

Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander

Year:

2008

Language:

english

File:

PDF, 471 KB

english, 2008

50

Mitchell John C.. Foundations for programming languages. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1996, xix + 846 pp.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 620 KB

english, 1999